161. Automated technology for verification and analysis :
پدیدآورنده : Tevfik Bultan, Pao-Ann Hsiung (editions.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence, Congresses,Automatic theorem proving, Congresses
رده :
QA76
.
9
.
A96
A88
2011
162. Automatic Re-Engineering of Software Using Genetic Programming
پدیدآورنده : / BY Conor Ryan
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Genetic Programming(Computer Science),Software Reengineering
رده :
QA76
.
623
.
R93
2000
163. Automatic re-engineering of software using genetic programming
پدیدآورنده : / by Conor Ryan
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Genetic programming (Computer science),Software reengineering
رده :
QA76
.
623
.
R93
2000
164. Automatic re-engineering of software using genetic programming
پدیدآورنده : / by Conor Ryan
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Genetic programming (Computer science),Software reengineering
رده :
QA76
.
623
.
R93
2000
165. Automatic test case generation with dynamic symbolic execution for programs that are coded against interfaces and annotations or use native code
پدیدآورنده : Mainul Islam
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science,Applied sciences;Automatic test case generation;Software engineering;Software testing;Software/program reliability;Testing tool
166. Automating Instructional Design:
پدیدآورنده : edited by Robert D. Tennyson, Ann E. Barron.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Educational technology.,Software engineering.
167. Automating Instructional Design, Development, and Delivery
پدیدآورنده : edited by Robert D. Tennyson.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence.,Computer science.
رده :
LB1028
.
38
E358
1994
168. Automating with SIMATIC : Controllers, Software, Programming, Data
پدیدآورنده : / Berger, Hans
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : CONTROL SYSTEMS|ENGINEERING, MECHANICAL|ENGINEERING, MULTIDISCIPLINARY& ENGINEERING (uncategorised)|AUTOMATION &COMPUTER SCIENCE
رده :
E-BOOK
169. Automotive systems and software engineering
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Software engineeringAutomatic programming (Computer science)
170. Autonomic and trusted computin
پدیدآورنده : / Chunming Rong ... [et al.] (eds.)
کتابخانه: Central Library and Document Center of Shahid Chamran University (Khuzestan)
موضوع : Autonomic computing--Congresses,Computer security--Congresses,Computer networks--Security measures--Congresses
171. Aware Applications Using Tcl, A Powerful Dynamic Programming Language-Tcl 8.5 Network Programming : Build Network
پدیدآورنده : / Kocjan, Wojciech
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : ELECTRONIC&COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, ELECTRICAL
رده :
E-BOOK
172. Balancing agility and formalism in software engineerin
پدیدآورنده : / Bertrand Meyer, Jerzy R. Nawrocki, Bartosz Walter (eds.)
کتابخانه: Central Library and Document Center of Shahid Chamran University (Khuzestan)
موضوع : Software engineering--Congresses,Computer software--Development--Congresses
173. Based Reasoning, Programming, and Applications-Rule
پدیدآورنده : / Nick Bassiliades, Guido Governatori, Adrian Paschke
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
رده :
E-BOOK
174. Basic Sensors in IOS: Programming the Accelerometer, Gyroscope, and Magnetometer
پدیدآورنده : / Alasdair Allan
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
175. Batch Processing Systems Engineering :
پدیدآورنده : edited by Ginraras V. Reklaitis, Aydin K. Sunol, David W.T. Rippin, Öner Hortaçsu.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence.,Chemical engineering.,Computer science.
رده :
TP155
.
75
E358
1996
176. Bayesian Programming
پدیدآورنده : / Bessiere, Pierre
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : MINERAL PROCESSING& METHODS|MINING &COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|COMPUTER SCIENCE, THEORY
رده :
E-BOOK
177. Beginning AI bot frameworks :
پدیدآورنده : Manisha Biswas.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence.,Computer networks.,Computer programming.,Software engineering.,Artificial intelligence.,Artificial intelligence.,Computer networks.,Computer science.,COMPUTERS-- General.,Network hardware.,Software engineering.
رده :
Q335
178. Beginning Android Tablet Games Programming (Beginning Apress)
پدیدآورنده : / Jeremy Kerfs
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
179. Beginning Android Tablet Programming
پدیدآورنده : / Robbie Matthews
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
180. Beginning Arduino Programming
پدیدآورنده : / Brian Evans
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
